TAGs: solve inequalities